Document $mDb

Change-Id: I971820ba14d08f23c2eec570183ab851e48debfc

diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index fda12f9..5d76cdf 100644 (file)
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -101,7 +101,10 @@ abstract class Maintenance {
        // Generic options which might or not be supported by the script
        private $mDependantParameters = array();
 
-       // Used by getDD() / setDB()
+       /**
+        * Used by getDD() / setDB()
+        * @var DatabaseBase
+        */
        private $mDb = null;
 
        /**